F. William Lawvere, "Diagonal arguments and cartesian closed categories"